Symposium on Logic in Computer Science - PDFSEARCH.IO - Document Search Engine

Symposium on Logic in Computer Science
Results: 42

#	Item
31	The Ackermann Award 2008 J.A. Makowsky and D. Niwinski Members of EACSL Jury for the Ackermann Award! The fourth Ackermann Award is presented at this CSL’08. This is the second year in which the EACSL Ackermann Award i Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:05 Game theory Determinacy Logic in computer science Parity game Wilhelm Ackermann Ackermann function IEEE Symposium on Logic in Computer Science Computational complexity theory Stochastic Mathematics Mathematical logic Theoretical computer science
32	Ten Years of CSL Conferences[removed]) ¨ rger Egon Bo Dip. di Informatica Universita di Pisa Cso Italia 40 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:05 Logic in computer science Lecture Notes in Computer Science IEEE Symposium on Logic in Computer Science Algorithmic Number Theory Symposium Dagstuhl Theoretical computer science Computer science Applied mathematics Mathematics
33	Citations for the Test-of-Time Award from 1994 Awards Committee: Tierry Coquand Dexter Kozen (chair) Leonid Libkin Frank Pfenning Add to Reading List Source URL: lics.rwth-aachen.de Language: English - Date: 2014-07-13 10:46:56 Theoretical computer science Category theory Homotopy type theory Type theory Algebraic structures Groupoid IEEE Symposium on Logic in Computer Science Logic programming Frank Pfenning Homotopy theory Mathematics Abstract algebra
34	Macroeconomic and Operational Challenges in Countries in Fragile Situations; IMF Policy Papers; June 15, 2011 Add to Reading List Source URL: www.imf.org Language: English - Date: 2011-07-21 17:05:49 Economics Aid Fragile state International development IEEE Symposium on Logic in Computer Science Development Assistance Committee International Monetary Fund Fragility Capacity building Development International economics International relations
35	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
36	Microsoft Word - dps_abstract_griffithjones_16nov12.doc Add to Reading List Source URL: www.un.org Language: English - Date: 2012-11-16 13:52:58 Development economists Economic systems Financial crises International trade Stephany Griffith-Jones Financial crisis Systemic risk Joseph Stiglitz IEEE Symposium on Logic in Computer Science Economics International economics International development
37	PDF Document Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2012-02-14 14:29:19 Computer science IEEE Symposium on Logic in Computer Science Year of birth missing Logic programming Frank Pfenning Logical framework Theoretical computer science Logic in computer science Programming language theory
38	2013 Low-Income Countries Global Risks and Vulnerabilites Report; IMF Policy Paper; September 9, 2013 Add to Reading List Source URL: www.imf.org Language: English - Date: 2013-10-02 15:52:19 IEEE Symposium on Logic in Computer Science Logic in computer science International Monetary Fund Government debt International relations Applied mathematics International development International economics Economics
39	ISMVL 2003 Information 33rd International Symposium on Multiple-Valued Logic[removed]May 2003 Meiji University, Tokyo, Japan Add to Reading List Source URL: science.icu.ac.jp Language: English - Date: 2003-05-13 23:21:56 Non-classical logic Logic in computer science Artificial intelligence Many-valued logic Fuzzy logic Algebraic logic Boolean algebra Logic gate Boolean function Logic Mathematical logic Mathematics
40	ALBERT R. MEYER Curriculum Vitae Hitachi America Professor of Engineering Dept. of Electrical Engineering and Computer Science Massachusetts Institute of Technology April 30, 2004 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2004-04-30 14:00:21 Models of computation Logic in computer science Denotational semantics ACM SIGACT Theory of computation Symposium on Theory of Computing Information and Computation Logic programming Turing Award Computer science Theoretical computer science Applied mathematics